(current_mode_line_height, current_header_line_height):
authorGerd Moellmann <gerd@gnu.org>
Tue, 14 Nov 2000 05:43:18 +0000 (05:43 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 14 Nov 2000 05:43:18 +0000 (05:43 +0000)
commit0c7627dfb17e1a4ad6209a03690ee12360d88bb5
tree84b96cc555f3c0ac89a763deeb7eda1844be9346
parent442ff6b1fdc8149683f303b26cc32b574394d567
(current_mode_line_height, current_header_line_height):
New variables.
(init_xdisp): Initialize them.
(pos_visible_p): Add parameter EXACT_MODE_LINE_HEIGHTS_P.  Compute
and use exact mode line heights if it is set.
src/xdisp.c